Kikuchi M., "A note on Boolos' proof of the incompleteness theorem"
菊池誠
morivation
Boolosの不完全性定理
を真という概念を使わずに(意味論的な議論に足を突っ込まずに)証明可能性にのみ経由することで純粋に統語論的に議論することでオリジナルに近い
Gödelの第1不完全性定理
を得る(?)
Boolos-Kikuchiの不完全性定理
と呼ぶことにする.
モデル理論的なテクニックを使って
第2不完全性定理
も証明する